Making snapshot isolation serializable